On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Model checking
• Finite automata
• Linear temporal logic
• Mathematical logic
• Formal languages
• Mathematics
• Bchi automaton
• Omega language
• Markov decision process
• Computation tree logic

MODELS AND METRICS FOR ENERGY-EFFICIENT COMPUTER SYSTEMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING

Source URL: rivoire.cs.sonoma.edu

• Computing
• Concurrent computing
• Distributed computing
• Benchmark
• Standard Performance Evaluation Corporation
• Data center
• Kunle Olukotun
• Christos Kozyrakis

Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

Source URL: qav.comlab.ox.ac.uk

Department of Computer Science INCREMENTAL RUNTIME VERIFICATION OF PROBABILISTIC SYSTEMS Vojtˇech Forejt

Source URL: www.cs.ox.ac.uk

• Dynamic programming
• Markov processes
• Stochastic control
• Markov models
• Probability
• Markov decision process
• Markov chain
• PP
• Probabilistic CTL
• Model checking

dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Dynamical systems
• Systems science
• Control theory
• Hybrid system
• Systems theory
• Satisfiability modulo theories

Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University

Source URL: cgi.csc.liv.ac.uk

• Software engineering
• Java Pathfinder
• Computer programming
• Computing
• Const
• Obfuscation
• Assembly languages
• Programming language syntax
• Java
• P-code machine

O K L A H O M A S T A T E U N I V E R S I T Y SCHOOL OF ELECTRICAL AND COMPUTER ENGINEERING SCHOOL OF MECHANICAL AND AEROSPACE ENGINEERING ECEN/MAE 5713 Linear Systems Spring 2011

Source URL: isc.okstate.edu

Byzantine Agreement Service for Cooperative Wireless Embedded Systems Wenbo Xu, Martin Wegner, Lars Wolf, R¨udiger Kapitza Institute of Operating Systems and Computer Networks, TU Braunschweig, Germany Email: wxu,wegner

Source URL: www.ibr.cs.tu-bs.de

FGCS Future Generation Computer Systems–10 A Programmable Policy Engine to Facilitate Time-efficient Science DMZ Management Chen Xu1 , Peilong Li1 , Yan Luo1

Source URL: scinet.supercomputing.org

Jade Ormond Mr. Tynes AP Computer Science Principles 6B 20 February 2018 How Biomimicry Is Used In Medicine Biomimetics or biomimicry is the imitation of the models, systems, and elements of

Source URL: fesentience.weebly.com